Buy Used and New Daniel Tille Books

Test Pattern Generation using Boolean Proof Engines

by Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille

ISBN 13: 9789048123599

Format: Hardcover (192 pages)
Publisher: Springer
Published: 30 Apr 2009

Save for later

Test Pattern Generation using Boolean Proof Engines

by Rolf Drechsler,Stephan Eggersglüß,Görschwin Fey,Daniel Tille

ISBN 13: 9789048184910

Format: Paperback (204 pages)
Publisher: Springer
Published: 19 Oct 2010

Save for later